Section: New Results

Simplification of a constructive version of Tarski's system of geometry

Participant : Pierre Boutry.

Our long term project is to show the independence of all thirteen axioms in a variant of Tarski’s system of geometry. In the current situation, ten axioms have been checked to be independent using counter-models. Specific questions arise around the continuity axiom and decidability of equality between points. This is related to investigations concerning mutual interpretability with cartesian planes and an alternative system proposed by Michael Beeson.